Model-checking based fault isolation in UML

Författare
Inger Klein Ulf Nilsson Dan Lawesson
Genre
Ej skönlitteratur
Språk
Engelska
Förlag År Ort Om boken ISBN
2001 Sverige, Linköping 9 sidor.